-
1 symbolic algebra
Большой англо-русский и русско-английский словарь > symbolic algebra
-
2 symbolic algebra
Математика: символическая алгебра -
3 symbolic algebra
-
4 symbolic algebra
-
5 algebra
algebra with minimality condition — алгебра с условием минимальности, алгебра с условием обрыва убывающих цепей
algebra with maximality condition — алгебра с условием максимальности, алгебра с условием обрыва возрастающих цепей
-
6 Boolean algebra
булева алгебра, алгебра логикинабор операций над двузначными логическими переменными, широко используемый в современных компьютерах. Названа в честь её создателя английского математика Джорджа Буля (George Boole, 1815-1864 гг.). Как правило, используются операции логического умножения, логического сложения и отрицания, так как из них можно построить любую другую булеву операцию. Все нынешние компьютеры построены на двузначной логике. Примером машин с трёхзначной логикой были ЭВМ "Сетунь" и "Сетунь-70" (Н.П. Брусенцов, МГУ).Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > Boolean algebra
-
7 SYMBAL
English-Russian dictionary of computer abbreviations and terms > SYMBAL
-
8 символическая алгебра
Большой англо-русский и русско-английский словарь > символическая алгебра
-
9 language
-
absolute language
-
algorithmical language
-
algorithmic language
-
applicative language
-
artificial language
-
assembler language
-
block-structured language
-
Boolean algebra-based language
-
Boolean based language
-
command language
-
compilative language
-
compiler language
-
computer language
-
computer-dependent language
-
computer-independent language
-
computer-oriented language
-
computer-sensitive language
-
context-free language
-
control language
-
conversational language
-
core language
-
data language
- data manipulation language -
data-base language
-
data-definition language
-
data-query language
-
declarative language
-
deduction-oriented language
-
design language
-
explicit language
-
expression-oriented language
-
extensible language
-
FG-kernel language
-
finite state language
-
formal specification language
-
function language
-
functional language
-
graphics-oriented language
-
graphics language
-
hardware-based language
-
high-level language
-
host language
-
human language
-
human-oriented language
-
hybrid language
-
imperative language
-
input language
-
instruction language
-
interactive language
-
interface language
-
intermediate language
-
interpretive language
-
job control language
-
kernel language
-
knowledge representation language
-
list-processing language
-
low-level language
-
machine language
-
machine-dependent language
-
machine-independent language
-
machine-oriented language
-
macro language
-
meta language
-
mnemonic language
-
narrative language
-
native language
-
native-mode language
-
natural language
-
NC-AM language
-
network control language
-
nonprocedural language
-
nucleus language
-
object language
-
object-oriented language
-
original language
-
parallel language
-
plain language
-
privacy language
-
problem solving language
-
problem-oriented language
-
procedural language
-
program development language
-
program language
-
programming language
-
pseudo language
-
query language
-
real-time language
-
reference language
-
regular language
-
relational language
-
retrieval language
-
robot language
-
rule language
-
semantic language
-
sentential language
-
simulation language
-
source language
-
specification description language
-
specification language
-
stratified language
-
structured language
-
symbolic language
-
system language
-
system-oriented language
-
target language
-
typed language
-
unstratified language
-
untyped language
-
user-oriented language
-
world-modeling language -
10 CAS
1) Communicating Applications Specification - протокол CAS, спецификация взаимодействия прикладных программпротокол корпорации Intel, обеспечивающий прямой доступ к факсимильным платам ПЭВМ с помощью встроенных меню2) Channel Associated Signalling - сигнализация по выделенному каналу3) Column Address Strobe - строб адреса столбца, сигнал CASуправляющий электрический сигнал, посылаемый процессором или контроллером динамического ОЗУ микросхемам памяти в процессе её регенерации, чтения или записи. Для выбора конкретной ячейки памяти должны быть заданы сигналы стробов колонки (столбца) и строки4) Call Accounting System - система учёта вызововв КТ5) Centralized Attendant Service - централизованная телефонная служба6) Computer-Aided Styling - компьютеризированная разработка стиля; цифровая технология дизайнапозволяет создавать большое число альтернативных вариантов при художественном конструировании (styling), включая изменение формы, геометрические преобразования и т. п. - хотя окончательное решение по-прежнему зависит от квалификации и таланта дизайнерасм. тж. designer7) Computer Algebra System - система компьютерной алгебрыпакет программ или приложение для решения уравнений и других математических задач в символьном видесм. тж. symbolic computingАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > CAS
-
11 formal logic
формальная (математическая, символическая) логиканаправление логики, изучающее чётко определённые логические операции над символами (аргументами), не касаясь их содержания.Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > formal logic
-
12 representation
1) изображение2) отображение; представление•- completely irreducible representation - completely reduced representation - completely reducible representation - discrete representation - finitely related representation - identity representation - locally constant representation - locally faithful representation - strongly rational representation - totally reducible representation -
13 space
1) интервал, промежуток2) пробел || оставлять пробелы3) область; площадь4) пространство || пространственный5) космос, космическое пространство6) полость7) расстояние•- absolutely compact space - absolutely embedded space - absolutely thick space - algebraically parallel space - almost complex space - almost expandable space - almost isomorphic space - almost metric space - almost nonsingular space - almost paracompact space - almost pretopological space - analytically ramified covering space - arcwise connected space - centrally harmonic space - compactly ordered space - completely continuous space - completely degenerate space - completely disconnected space - completely harmonic space - completely metric space - completely normal space - completely reducible space - completely regular space - completely reticulated space - completely separable space - completely separated space - completely symmetric space - completely uniformizable space - constant curvature space - continuous sample space - continuously ordered space - contractible in itself space - countably compactifiable space - countably dimensional space - countably generated space - countably infinite space - countably metacompact space - countably multinormed space - countably normed space - countably paracompact space - countably refinable space - countably subcompact space - finitely productive space - finitely sheeted space - finitely triangulated space - fully normal space - general metrizable space - general topological space - global analytic space - globally symmetric space - hereditarily normal space - hereditarily paracompact space - hereditarily separable space - hereditarily symmetric space - holomorphic tangent space - holomorphically complete space - holomorphically convex space - homotopy associative space - iterated loop space - linearly connected space - linearly ordered space - linearly topologized space - load space - locally bounded space - locally closed space - locally compact space - locally complete space - locally connected space - locally contractible space - locally convex space - locally directed space - locally fine space - locally holomorphic space - locally homogeneous space - locally hyperbolic space - locally linear space - locally metrizable space - locally ringed space - locally separable space - locally simply connected space - locally solid space - locally spherical space - locally star-shaped space - locally symmetric space - locally timelike space - locally triangulable space - monotonically normal space - naturally isomorphic space - naturally ordered space - naturally reductive space - nearly paracompact space - negative metric space - normally separated space - not simply connected space - nowhere connected space - null space of linear transformation - n-way projective space - perfectly normal space - perfectly regular space - perfectly screenable space - perfectly separable space - peripherically bicompact space - peripherically compact space - pointwise paracompact space - projectively metric space - quaternion hyperbolic space - quaternion projective space - quaternion vector space - regularly ordered space - relatively discrete space - relatively strong space - sequentially closed space - sequentially compact space - sequentially complete space - sequentially quasicomplete space - sequentially separable space - simply ordered space - simply partitionable space - space of affine connectedness - space of complex homomorphisms - space of continuous functions - space of finite measure - space of linear interpolation - space of right cosets - space of scalar curvature - strongly bounded space - strongly closed space - strongly compact space - strongly complete space - strongly irreducible space - strongly normal space - strongly normed space - strongly paracompact space - strongly pseudocompact space - strongly pseudometrizable space - strongly rigid space - strongly screenable space - structural space - structure space - topologically complete space - totally disconnected space - totally geodesic space - totally imperfect space - totally normal space - totally orderable space - totally ordered space - water jacket space - weakly closed space - weakly compact space - weakly complete space - weakly covering space - weakly dense space - weakly favorable space - weakly n-dimensional space - weakly paracompact space - weakly regular space - weakly separable space - weakly symmetric spaceto space out — полигр. набирать вразрядку
См. также в других словарях:
Symbolic computation — Symbolic computation, algebraic computation, or, less commonly, symbolic manipulation, symbolic processing, symbolic mathematics, or symbolic algebra, relates to the use of machines, such as computers, to manipulate mathematical equations and… … Wikipedia
algebra — /al jeuh breuh/, n. 1. the branch of mathematics that deals with general statements of relations, utilizing letters and other symbols to represent specific sets of numbers, values, vectors, etc., in the description of such relations. 2. any of… … Universalium
algebra, elementary — Introduction branch of mathematics that deals with the general properties of numbers and the relations between them. Algebra is fundamental not only to all further mathematics and statistics but to the natural sciences, computer science,… … Universalium
Symbolic combinatorics — in mathematics is a technique of analytic combinatorics that uses symbolic representations of combinatorial classes to derive their generating functions. The underlying mathematics, including the Pólya enumeration theorem, are explained on the… … Wikipedia
Symbolic Manipulation Program — Symbolic Manipulation Program, usually called SMP, was a computer algebra system designed by Chris A. Cole and Stephen Wolfram at Caltech circa 1979 and initially developed in the Caltech physics department under Wolfram s leadership with… … Wikipedia
algebra — [al′jə brə] n. [ME < ML < Ar al jabr, the reunion of broken parts < al, the + jabara, to reunite] 1. a mathematical system using symbols, esp. letters, to generalize certain arithmetic operations and relationships (Ex.: x + y = x2… … English World dictionary
Symbolic dynamics — In mathematics, symbolic dynamics is the practice of modelling a topological or smooth dynamical system by a discrete space consisting of infinite sequences of abstract symbols, each of which corresponds to a state of the system, with the… … Wikipedia
algebra — noun Etymology: Medieval Latin, from Arabic al jabr, literally, the reduction Date: 1551 1. a generalization of arithmetic in which letters representing numbers are combined according to the rules of arithmetic 2. any of various systems or… … New Collegiate Dictionary
algebra of relations — a branch of symbolic logic dealing with relations analogously to the manner in which classes are dealt with in the algebra of classes called also calculus of relations … Useful english dictionary
symbolic logic — noun any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity • Syn: ↑mathematical logic, ↑formal logic • Hypernyms: ↑logic, ↑logical system, ↑system of… … Useful english dictionary
algebra of classes — a branch of symbolic logic sometimes regarded as an independent discipline that deals with classes and has as its main operations the forming of logical products, sums, and complements called also calculus of classes; compare inclusion,… … Useful english dictionary